Electronic Books

Total Books: 1 - 12 /12
978-3-540-76786-2
Datatype-Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

Continue reading
978-3-540-76786-2
Datatype-Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

Continue reading
978-3-540-27861-0
Implementation of Functional Languages

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...

Continue reading
978-3-540-35632-5
Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

Continue reading
978-3-540-70594-9
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Continue reading
978-3-540-75209-7
Model Driven Engineering Languages and Systems

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Continue reading
978-3-540-32057-9
Model Driven Engineering Languages and Systems (vol. # 3713)

Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...

Continue reading
978-3-540-45773-2
Model Driven Engineering Languages and Systems (vol. # 4199)

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...

Continue reading
978-3-540-69489-2
Models in Software Engineering

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...

Continue reading
978-3-540-31781-4
Satellite Events at the MoDELS 2005 Conference

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

Continue reading
978-3-540-69927-9
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

Continue reading
978-3-540-31797-5
UML Modeling Languages and Applications

This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...

Continue reading
Total Books: 1 - 12 /12